Inductive Reasoning Counterexample